User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
نویسندگان
چکیده
In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a high-level Petri net. Scenarios are acquired in the form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with user interface information. These diagrams are transformed into Petri net specifications and merged to obtain a global Petri net specification capturing the behavior of the entire system. From the global specification, a user interface prototype is generated and embedded in a user interface builder environment for further refinement. Based on end user feedback, the input scenarios and the user interface prototype may be iteratively refined. The result of the overall process is a specification consisting of a global Petri net, together with the generated and refined prototype of the user interface.
منابع مشابه
Petri net objects for the design, validation and prototyping of user-driven interfaces
Petri Net Objects (P.N.O.) are a high-level, object-structured dialect of Petri nets, primarily devised for the design of parallel systems. We show how this formalism can be used for the specification and design of event-driven interfaces, through the use of a real-life example. We then discuss the potential for dialogue validation, integration in UIMS and prototyping offered by this model.
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملA Petri Net based Environment for the Design of Event-driven Interfaces
Modern window-based user interfaces are actually a special kind of reactive system, and Petri nets may be fruitfully used to design such user computer dialogues. This paper describes a software engineering tool aimed at supporting the use of high-level Petri nets for the specification, design and implementation of user interfaces in an event-driven interface system. We assess the rationale for ...
متن کاملAutomated Code Generation from Petri Nets Based System Specification
The effectiveness of Petri nets for the modelling of reactive systems is demonstrated through the use of a class of non-autonomous hierarchical high-level Petri nets, named by Hierarchical Reactive Petri Nets. The translation between the Petri net model and executable code is presented and shown to be simple and direct allowing a smooth two-way automatic translation process between specificatio...
متن کاملA Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling and analysis. Using high-level Colored Petri nets, we specify UAV control structure by a hierarchy of mission control net and task nets: the mission control net, built upon task nets, models the decision making proces...
متن کامل